Gorodilova A. A. «From cryptanalysis to cryptographic property of a Boolean function» // Applied Discrete Mathematics 2016. №3(33) C.16-44
Babenko L.K., Maro E. A. «Solving the problem of boolean satisfiability for estimating the security of block ciphers magma and present to algebraic cryptanalysis» // Applied Discrete Mathematics. Supplement 2017. №10 C.62-64
Zyubina D. A., Filippov S. D., Atutova N. D., Maro E. A., Kutsenko A. V. «Algebraic cryptanalysis of round-reduced lightweight ciphers simon and Speck» // Applied Discrete Mathematics. Supplement 2021. №14 C.84-91
Antonov K. V., Gribanova I. A., Semenov A. A. «Generating additional constraints in algebraic cryptanalysis using sat oracles» // Applied Discrete Mathematics. Supplement 2021. №14 C.104-110
Roman'kov V.A. «Efficient methods of algebraic cryptanalysis and protection against them» // Applied Discrete Mathematics. Supplement 2019. №12 C.117-125
